resolution theorem-proving
解析定理证明
热门查询
- Minnie n. 迫击炮 vt. 用迫击炮轰击
- review n. 回顾；复习；评论；检讨；检阅 vt. 回顾；检查；复审 vi. 回顾；复习功课；写评论
- peacefully adv. 平静地；和平地
- transworld adj. 环球旅游的，遍及全球的，世界范围的
- Citicorp n. 花旗公司(1967年花旗银行组建了控股公司——第一花旗公司(First National Corporation)，1971年第一花旗公司改组为多银行持股公司，1974年3月28日更名为花旗公司(Citicorp)。; [法]花旗集团
- Faber [医][=flexion(in)abduction and external rotation]外展、外旋并屈曲
- intercooler n. [制冷] 中间冷却器；冷热气自动调节机
- pease n. 豌豆 n. (Pease)人名；(英)皮斯
- counterbalance n. 平衡力；自动抵销 vt. 使平衡；抵消
- schlocky a. <主美口>劣质的,质次的
- plough n. 犁；耕地（等于plow） vi. 用犁耕田；开路 vt. 犁；耕 n. (Plough)人名；(英)普劳
- glad adj. 高兴的；乐意的；令人高兴的；灿烂美丽的 vt. 使高兴 n. (Glad)人名；(塞、瑞典)格拉德；(英)格莱德；(法、挪)格拉
- encipher vt. 译成密码
- parathyroid n. 甲状旁腺 adj. 副甲状腺的
- Waverley [人名] 韦弗利; [地名] [澳大利亚、加拿大、南非共和国、新西兰] 韦弗利
- mould vi. 发霉 vt. 浇铸；用泥土覆盖 n. 模具；霉 n. (Mould)人名；(英)莫尔德
- mime n. 哑剧；小丑；滑稽戏 vi. 摸拟表演 vt. 摸拟表演 n. (Mime)人名；(塞)米梅
- Brenton 布伦顿（人名）
- BOD n. 人；身体；[冶] 泥塞 adj. 很好的 n. (Bod)人名；(索、阿拉伯)布德；(匈)博德
- ND abbr. 国债（National Debt）；国防（National Defence）；核装置（Nuclear Device）
考试词汇表
- limestone addition
- limestone elevator
- limestone landform
- limestone pavement
- limestone red loam
- limit alarm sensor
- limit crack growth
- limit distribution
- limit gauge system
- limit line spacing
- limit market space
- limit of authority
- limit of backwater
- limit of detection
- limit of diffusion
- limit of drift ice
- limit of ductility
- limit of endurance
- limit of explosion
- limit of free haul
